TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Source URL: users.ece.cmu.edu

• Software engineering
• Computing
• Computer programming
• Data types
• Type theory
• Concurrent programming languages
• C++
• Decompiler
• Low-level programming language
• Type system
• Type inference
• Assembly language

2015 Ward 4 Special Election Questionnaire 1. PUBLIC FINANCING A number of jurisdictions provide public financing to political campaigns who meet certain requirements. The campaign must receive small donations (as low a

Source URL: www.dcfordemocracy.org

Ultra-Low Power Wireless SoCs Enabling a Batteryless IoT Dr. Benton Calhoun and Dr. David Wentzloff co-CTOs August 2015

Source URL: www.hotchips.org

• Emerging technologies
• Ambient intelligence
• Internet of things
• Energy harvesting
• Technology

Keeping it Old School: Classic Video Games as Inspiration for Modern Student Programs David Weintrop, Northwestern University Uri Wilensky, Northwestern University Abstract: The rise in low-threshold, media-rich introduc

Source URL: ccl.northwestern.edu

• Software
• Computing
• Gaming
• Video game platforms
• Visual programming languages
• Mobile games
• Z80
• ZX Spectrum games
• Scratch
• Video game
• Arcade game
• Frogger

Aberdeenshire Regional Land Use Pilot Consequences of future land use change under different policy priorities: the tool JHI: Andrea Baggio, David Donnelly, Alessandro Gimona, Justin Irvine

Source URL: www.aberdeenshire.gov.uk

• Natural environment
• Ecology
• Water
• Ecological restoration
• Ecosystem services
• Human ecology
• Systems ecology
• Land use
• Riparian zone
• Low-carbon economy

AUTOMATIC LANGUAGE IDENTIFICATION IN MUSIC VIDEOS WITH LOW LEVEL AUDIO AND VISUAL FEATURES Vijay Chandrasekhar, Mehmet Emre Sargin, David A. Ross Google, IncAmphitheatre Parkway Mountain View, CA 94043

Source URL: www.cs.toronto.edu

• Information science
• Information retrieval
• Music information retrieval
• Image segmentation
• Mel-frequency cepstrum
• YouTube
• Visual descriptor
• Support vector machine
• Speech recognition

Low Level Virtual Machine for Glasgow Haskell Compiler By David Anthony Terei Supervisor Manuel M. T. Chakravarty

Source URL: www.cse.unsw.edu.au

• Software
• Computer programming
• Compilers
• Compiler construction
• LLVM
• Cross-platform software
• Glasgow Haskell Compiler
• Intermediate representation
• Object-oriented programming languages
• Haskell
• D
• Compiler

Proposal_BC_budget2008_final

Source URL: www.davidsuzuki.org

• Natural environment
• Climate change policy
• Sustainability
• Climate change
• Carbon finance
• Renewable energy
• Energy economics
• Climate change mitigation
• Emissions trading
• Low-carbon economy
• Carbon offset
• David Suzuki Foundation

E Low-altitude Aerial Color Digital Photographic Survey of the San Andreas Fault David K. Lynch, Kenneth W. Hudnut, and David S. P. Dearborn

Source URL: www.thulescientific.com

• Cartography
• Remote sensing
• Archaeology
• Software
• Geomatics
• Photogrammetry
• Aerial survey
• Surveying
• Aerial photography
• Google Earth
• Topography
• Geographic information system

Integrated Computational Materials Engineering Lab Heat Results Supporting DOE Targets Grant Thomas, AK Steel Research Prof. David Matlock, Colorado School of Mines Radhakanta Rana, Colorado School of Mines Louis Hector

Source URL: www.a-sp.org

• Metallurgy
• Iron
• Chemistry
• Steels
• Steel
• Building materials
• Austenite
• Martensite
• Mangalloy
• High-strength low-alloy steel
• Annealing
• Ferrite